Subtasks | Simulation | Formal verification |
Preparation | Simulation script is generated by register tool | Properties are generated by register tool |
Execution | 3 days of simulation time | 1.5 days for automatic set-up of 31 register block set-up and exhaustive verification of 12,600 properties |
Analysis effort | 60,000 entries to be analysed | No additional effort |
Quality of analysis | Not-exhaustive, semi-automatic, error prone | Exhaustive, automatic, fail-safe |
Total effort | 3 days compute time + 2 days manual effort | 1.5 days compute time (70% less than simulation) |